منابع مشابه
Hyperbolization of Euclidean Ornaments
In this article we outline a method that automatically transforms an Euclidean ornament into a hyperbolic one. The necessary steps are pattern recognition, symmetry detection, extraction of a Euclidean fundamental region, conformal deformation to a hyperbolic fundamental region and tessellation of the hyperbolic plane with this patch. Each of these steps has its own mathematical subtleties that...
متن کاملOrnaments in practice, higher-order ornaments
6 Syntactic ornaments in the binary language 21 6.1 From ornaments to projection . . . . . . . . . . . . . . . . . . . . . . . . . . 24 6.2 Syntax of the binary language . . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.3 Projection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6.4 Datatype environment . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملRelative Hyperbolization and Aspherical Bordisms: an Addendum to “hyperbolization of Polyhedra”
We give two versions of relative hyperbolization. We use the first version to prove that if (each component of) a closed manifold M is aspherical and if M is a boundary, then it is the boundary of an aspherical manifold.
متن کاملThe essence of ornaments
Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....
متن کاملProgramming with ornaments
Dependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship among these structurally similar datatypes usually needs to be established manually and tediously. Ornaments have been proposed as a formal mechanism to manage the relationships between such datatype variants. In this paper, we conduct a case study under an ornament...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 2009
ISSN: 1077-8926
DOI: 10.37236/78